<?php
/*
 * Permet de changer le nom courant du joueur
 */
$defaultGameId = '';

if(isset($_GET['gameId'])){
	$_SESSION['gameId'] = $_GET['gameId'];
}

if(isset($_SESSION['gameId'])){
	$defaultGameId = $_SESSION['gameId'];
}

?>
<form method="GET" action=".">
	<input type="text" name="gameId" value="<?php echo $defaultGameId;?>" />
	<input type="submit"/>
<form/>


